You have chosen Paul Bernays, David Hilbert and Paul Bernays.
All three must be different; choose another philosopher.